\section{Finite Domains}

In all CSPs, every variable has an associated domain, which describes the values
it can take. In some case these values are few and simple ($true$ and $false$
for the \textsc{Sat} problem), while in other cases they can be infinitely many
and arbitrarily complex ($\mathbb{R}$ for linear programming).

When the values a variable can take are finitely many, they are referred to as
the variable's Finite Domain.

